Generating Simulink and Stateflow Models from Software Specifications
نویسندگان
چکیده
منابع مشابه
Generation of Branch Coverage Test Data for Simulink/Stateflow Models Using Crest Tool
Automated test suite generation is an optimization technique to reduce test effort and duration. Software Testing has traditionally been one of the main techniques contributing to high software quality and dependability. Testing performance consumes about 50% of software development resources, so any methods aiming at reducing softwaretesting costs are likely to reduce software development cost...
متن کاملImproving Timing Analysis for Matlab Simulink/Stateflow
Control software in embedded hard real-time systems is subject to stringent timing constraints. To compute the required safe upper bounds on its worst-case execution-time (WCET), static timing analysis is used in industry [1]. Today control software is predominantly developed with model-based design tools such as Matlab Simulink/Stateflow. However, current timing tools lose precision as they co...
متن کاملModelling and Implementation of Multirate Control Applications with TargetLink
The software development for embedded systems is increasingly being done with the help of simulation tools and block diagram specifications. MATLAB, Simulink, and Stateflow are well accepted products in this area [Ma00]. Production code generators like TargetLink [Ds00] are used to turn such graphical specifications of real-time control algorithms into a highly efficient, readable and reliable ...
متن کاملAutomated analysis of Stateflow models
Stateflow is a widely used modeling framework for embedded and cyberphysical systems where control software interacts with physical processes. In this work, we present a framework and a fully automated safety verification technique for Stateflow models. Our approach is two-folded: (i) we faithfully compile Stateflow models into hierarchical state machines, and (ii) we use automated logic-based ...
متن کاملAutomated Validation of Software Models
This paper describes the application of an automated verification tool to a software model developed at Ford. Ford already has in place an advanced model-based software development framework that employs the Matlab R ©, Simulink R ©, and Stateflow R © modeling tools. During this project we applied the invariant checker Salsa to a Simulink R ©/ Stateflow R © model of automotive software to check...
متن کامل